Your search for agda 2.6.4 is:open

Hint

Refine your search with filters like is:open, author:me, submitter:me, severity:serious, tag:easy, date:2d..now, date:2012-04-18..2022-04-18, date:1m..today, and many more!

IDSubjectDate submittedStatus
68047patch[PATCH] gnu: agda: Update to 2.6.4.1.Tue Dec 26 18:57:26+0100 2023Open
42005guix pull has been failedMon Jun 22 16:24:24+0200 2020Open
62236build of agda-ial-1.5.0.drv failedFri Mar 17 10:36:24+0100 2023Open
68315patch[PATCH 00/48] Extend bag-build to gexps.Mon Jan 08 09:01:24+0100 2024Open
49607patch[PATCH] gnu: Add Idris 2.Sat Jul 17 17:43:25+0200 2021Open
46828moreinfohexchat: fail autoload pythonSun Feb 28 10:39:25+0100 2021Open
52311Flex and Bison are not built from sourceSun Dec 05 19:08:31+0100 2021Open
47687XFCE NetworkManager Doesnt Respond To ChangesSat Apr 10 08:16:24+0200 2021Open
36511extraneous recompiles of scm files while editing gnu/packages/Fri Jul 05 16:23:25+0200 2019Open
57059[BUG] pcc build failureMon Aug 08 18:02:24+0200 2022Open
63728GHC cannot find lrtFri May 26 00:25:24+0200 2023Open
38203"make as-derivation" no longer uses the checked-out branchThu Nov 14 06:12:25+0100 2019Open
68208patch[PATCH] enchant: update to 2.6.2Tue Jan 02 16:15:25+0100 2024Open
45352Same derivation listed twice in the output of "guix build --dry-run"Mon Dec 21 10:11:25+0100 2020Open
68337patch[PATCH 0/2] Add ajam and argyllcmsTue Jan 09 05:32:24+0100 2024Open
44776SIGSEGV in BraseroSat Nov 21 11:29:24+0100 2020Open
47764'guix substitute' crashes while running 'guix pull'Wed Apr 14 02:51:25+0200 2021Open
50123Tests (tests/channels.scm) assume UTF-8 localeThu Aug 19 17:03:25+0200 2021Open
65495Error from compute-guix-derivationThu Aug 24 12:53:25+0200 2023Open
63050"guix pull" requires graphical librariesMon Apr 24 12:13:24+0200 2023Open
53903aarch64: failed to compute the derivation for GuixWed Feb 09 20:02:25+0100 2022Open
58778Bug reportTue Oct 25 16:53:26+0200 2022Open
44053Poor profile generation performance on spinning disksSun Oct 18 05:36:25+0200 2020Open
43518(guix status) occasionally crashes when max-jobs > 1Sat Sep 19 19:35:24+0200 2020Open
50040patch[PATCH 0/2] publish: Always render nar/narinfo during backing.Fri Aug 13 12:28:25+0200 2021Open
67965Bug: failed to compute the derivation for GuixFri Dec 22 07:07:24+0100 2023Open
53511guix pull command failsMon Jan 24 19:33:25+0100 2022Open
36330guix-build-branch.sh failed on Fedora 29Sat Jun 22 16:26:25+0200 2019Open
47717Avoid system freezes by using earlyoom (with D-Bus notifications)Mon Apr 12 07:39:25+0200 2021Open
63781Cannot build 'musl-cross' packageMon May 29 06:56:25+0200 2023Open
67546time-bomb with openssl-1.1.1l; failure of time-machine 2022-03-19Thu Nov 30 15:49:26+0100 2023Open